Expected value

Results: 1160



#Item
311Independence / Probability theory / Statistical dependence / Differential equation / Expected value / Derivative / Integration by parts / Multiple integral / Sum of normally distributed random variables / Mathematical analysis / Mathematics / Integral calculus

1 Batch Arrival Processor-Sharing with Application to Multi-Level Processor-Sharing Scheduling K. Avrachenkov, U. Ayesta∗ , P. Brown

Add to Reading List

Source URL: homepages.laas.fr

Language: English - Date: 2006-12-19 07:04:55
312Computer science / Relational algebra / FO / Database theory / Lambda calculus / Expected value / Calculus / Conjunctive query / Theoretical computer science / Relational model / Applied mathematics

On Linear and Quasi-Linear CPU Times for Most Relational Calculus and Data Mining Queries Dan E. Willard University at Albany – SUNY Alternate Title of Talk: “ A 15-minute Summary of 35 Years of Prior Research PLUS A

Add to Reading List

Source URL: fpt.wdfiles.com

Language: English - Date: 2013-02-02 11:06:30
313Function / Expected value / Program analysis / Mathematics / Software / Frama-C

Value Analysis Frama-C’s value analysis plug-in FluorinePascal Cuoq and Boris Yakobowski with Virgile Prevosto

Add to Reading List

Source URL: frama-c.com

Language: English - Date: 2013-09-24 04:53:46
314Frama-C / Mathematical analysis / Function / Expected value / Logarithm / Program analysis / Mathematics / Functions and mappings / Software

Value Analysis Frama-C’s value analysis plug-inCarbon) Pascal Cuoq with Virgile Prevosto

Add to Reading List

Source URL: frama-c.com

Language: English - Date: 2013-09-24 04:53:53
315IP / Interactive proof system / Mathematics / Zero-knowledge proof / Soundness / Expected value / Non-interactive zero-knowledge proof / Information / Cryptographic protocols / Applied mathematics / Proof of knowledge

Proving Computational Ability Mihir Bellare Oded Goldreichy August 1992

Add to Reading List

Source URL: www.wisdom.weizmann.ac.il

Language: English - Date: 2014-06-22 06:28:46
316Expander graph / Random walk / Adjacency matrix / Expected value / Mathematics / Algebraic graph theory / Stochastic processes

Addendum to the paper \Randomness in Interactive Proofs" Mihir Bellare Oded Goldreichy

Add to Reading List

Source URL: www.wisdom.weizmann.ac.il

Language: English - Date: 2014-06-22 06:24:28
317Function / Expected value / Program analysis / Mathematics / Software / Frama-C

Value Analysis Frama-C’s value analysis plug-in NeonPascal Cuoq and Boris Yakobowski with Virgile Prevosto

Add to Reading List

Source URL: frama-c.com

Language: English - Date: 2014-03-12 13:10:18
318Ethics / Financial risk / Mathematical finance / Decision theory / Risk management / Expected shortfall / Cudgegong River / Loss function / Actuarial science / Risk / Management

Modeling and evaluating water allocation risks using Value-at-Risk

Add to Reading List

Source URL: www.mssanz.org.au

Language: English - Date: 2013-01-16 22:50:34
319Applied mathematics / Convex optimization / Linear programming / Cutting-plane method / Bilevel program / Inequality / Expected value / Operations research / Mathematics / Mathematical optimization

Bilevel Programming and Maximally Violated Valid Inequalities Andrea Lodi∗ , Ted K. Ralphs◦ ∗ DEIS, University of Bologna

Add to Reading List

Source URL: coral.ie.lehigh.edu

Language: English - Date: 2010-06-19 14:25:52
320Function / Expected value / Program analysis / Mathematics / Software / Frama-C

Value Analysis Frama-C’s value analysis plug-in FluorinePascal Cuoq and Boris Yakobowski with Virgile Prevosto

Add to Reading List

Source URL: frama-c.com

Language: English - Date: 2013-09-24 04:53:54
UPDATE